1. Baltic Computer Science :
Author: by Janis Barzdins, Dines Bjorner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
B953
1991
2. Formal specification and software development
Author: Bjorner, Dines
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
1982
3. Formal specification and software development
Author: Bjorner, Dines, 7391-
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Programming languages )Electronic computers(
Classification :
QA
76
.
6
.
B575
4. Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
Author: Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer systems
Classification :
QA
76
.
L28
Vol
.
1755
5. Perspectives of system informatics : second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 1996 : proceedings
Author: Dines Bjorner, Manfred Broy, Igor V. Pottosin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Ershov, Andrei Petrovich,Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
Classification :
QA
76
.
L28
Vol
.
1181
6. Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
Author: Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programs
Classification :
QA
76
.
L28
Vol
.
2244
7. Software engineering. Domains, Requirements, and Software Design With 100 Figures
Author: Bjorner, D.)Dines(,7391-
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Computer programming
Classification :
QA
76
.
758
.
B56
2006
8. Towards an formal description of Ada
Author: Bjorner, Dines, 7391- ed
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Ada )Computer program language(
Classification :
QA
76
.
73
.
A35
.
B5
9. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
Author: BJORNER,DINES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
Classification :
QA
76
.
76
.
D47
V85
1987
